* lisp/emacs-lisp/comp-cstr.el (comp-cstr-union-1-no-mem): (not null) => t.

diff --git a/lisp/emacs-lisp/comp-cstr.el b/lisp/emacs-lisp/comp-cstr.el
index b2d34af66b416cad87a350a5d078a809e8b099de..5b189e70bef46e5d59af29c8afde89f76be801d6 100644 (file)
--- a/lisp/emacs-lisp/comp-cstr.el
+++ b/lisp/emacs-lisp/comp-cstr.el
@@ -631,7 +631,15 @@ DST is returned."
               (setf (typeset dst) (typeset neg)
                     (valset dst) (valset neg)
                     (range dst) (range neg)
-                    (neg dst) (neg neg))))))
+                    (neg dst) (neg neg)))))
+
+        ;; (not null) => t
+        (when (and (neg dst)
+                   (null (typeset dst))
+                   (null (valset dst))
+                   (null (range dst)))
+          (give-up)))
+
       dst)))
 
 (defun comp-cstr-union-1 (range dst &rest srcs)